"Dexter C. Kozen" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theory of Computation (Texts in Computer Science)

Dexter C. Kozen

Категория: Компьютеры

3.56 Mb

#2

Dynamic Logic (Foundations of Computing)

David Harel, Dexter Kozen, Jerzy Tiuryn

2.24 Mb

#3

The design and analysis of algorithms

Dexter C. Kozen

Категория: Computer science, Algorithms

1.64 Mb

#4

Theory of computation

Dexter C. Kozen

2.75 Mb

#5

Theory of Computatio

Dexter C. Kozen

2.69 Mb

#6

The design and analysis of algorithms(conservative)

Dexter C. Kozen

2.19 Mb

#7

Theory of Computation (Texts in Computer Science)

Dexter C. Kozen

2.76 Mb

#8

Automata and Computability

Dexter C. Kozen

4.05 Mb

#9

Dynamic logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Категория: Mathematics, Algebra, Mathematical logic

2.23 Mb

#10

Mathematics of Program Construction, 7 conf., MPC 2004

Dexter Kozen, Carron Shankland

Категория: CsLn_

6.51 Mb

#11

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

1.71 Mb